2 detailed summary tables of results

 2.1 Detailed conclusion table per each integral for all CAS systems
 2.2 Detailed conclusion table specific for Rubi results

2.1 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-1) F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 413 413 200 169 0 0 0 0 367
normalized size 1 1. 0.48 0.41 0. 0. 0. 0. 0.89
time (sec) N/A 0.76 0.483 0.008 0. 0. 0. 0. 27.728




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F(-1) F F A
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 749 749 462 421 0 0 0 0 666
normalized size 1 1. 0.62 0.56 0. 0. 0. 0. 0.89
time (sec) N/A 1.321 2.705 0.037 0. 0. 0. 0. 59.498




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F(-1) F F(-1) A
verified N/A NO N/A TBD TBD TBD TBD TBD TBD
size 516 516 0 281 0 0 0 0 461
normalized size 1 1. 0. 0.54 0. 0. 0. 0. 0.89
time (sec) N/A 1.024 0.654 0.009 0. 0. 0. 0. 45.853




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F F(-1) F F A
verified N/A NO N/A TBD TBD TBD TBD TBD TBD
size 1013 1013 0 771 0 0 0 0 916
normalized size 1 1. 0. 0.76 0. 0. 0. 0. 0.9
time (sec) N/A 2.028 1.808 0.037 0. 0. 0. 0. 94.454




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F A F F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 145 145 441 238 0 814 0 0 178
normalized size 1 1. 3.04 1.64 0. 5.61 0. 0. 1.23
time (sec) N/A 0.39 0.975 0.052 0. 2.463 0. 0. 33.068




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C B F A F F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 239 239 432 564 0 903 0 0 216
normalized size 1 1. 1.81 2.36 0. 3.78 0. 0. 0.9
time (sec) N/A 0.365 0.862 0.103 0. 2.318 0. 0. 13.343




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F(-1) F A
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 169 169 0 0 0 0 0 0 845
normalized size 1 1. 0. 0. 0. 0. 0. 0. 5.
time (sec) N/A 0.474 0.14 0.082 0. 0. 0. 0. 84.953




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A F F F F(-1) F A
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 220 220 0 0 0 0 0 0 199
normalized size 1 1. 0. 0. 0. 0. 0. 0. 0.9
time (sec) N/A 1.006 0.157 0.07 0. 0. 0. 0. 63.305




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C C F F F F A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 94 81 0 0 0 0 42
normalized size 1 1. 1.96 1.69 0. 0. 0. 0. 0.88
time (sec) N/A 0.1 0.1 0.021 0. 0. 0. 0. 7.01




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F(-2) F(-1) F F(-2) A
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 259 259 310 365 0 0 0 0 218
normalized size 1 1. 1.2 1.41 0. 0. 0. 0. 0.84
time (sec) N/A 0.498 0.69 0.083 0. 0. 0. 0. 59.135




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F(-2) F(-1) F F(-2) A
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 257 257 312 369 0 0 0 0 479
normalized size 1 1. 1.21 1.44 0. 0. 0. 0. 1.86
time (sec) N/A 0.458 0.593 0.063 0. 0. 0. 0. 61.058




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A C A F F F F(-2) A
verified N/A NO Yes TBD TBD TBD TBD TBD TBD
size 424 424 298 359 0 0 0 0 464
normalized size 1 1. 0.7 0.85 0. 0. 0. 0. 1.09
time (sec) N/A 0.847 0.596 0.015 0. 0. 0. 0. 57.731




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 309 309 212 444 0 1 0 486 0
normalized size 1 1. 0.69 1.44 0. 0. 0. 1.57 0.
time (sec) N/A 1.211 0.452 0.015 0. 0.306 0. 0.308 0.




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 283 283 166 375 0 1 0 358 0
normalized size 1 1. 0.59 1.33 0. 0. 0. 1.27 0.
time (sec) N/A 0.706 0.321 0.011 0. 0.298 0. 0.285 0.




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 286 286 302 253 0 1 0 0 0
normalized size 1 1. 1.06 0.88 0. 0. 0. 0. 0.
time (sec) N/A 1.539 0.356 0.014 0. 0.906 0. 0. 0.




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 294 294 178 304 0 1 0 0 0
normalized size 1 1. 0.61 1.03 0. 0. 0. 0. 0.
time (sec) N/A 1.544 0.45 0.017 0. 0.77 0. 0. 0.




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 288 288 203 341 0 1 0 4 0
normalized size 1 1. 0.7 1.18 0. 0. 0. 0.01 0.
time (sec) N/A 1.61 0.534 0.016 0. 0.581 0. 0.686 0.




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Rubi in Sympy










grade A A A A F(-2) A F(-1) A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 294 294 210 390 0 1 0 4 0
normalized size 1 1. 0.71 1.33 0. 0. 0. 0.01 0.
time (sec) N/A 1.58 1.341 0.018 0. 0.579 0. 0.705 0.










2.2 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [2] had the largest ratio of [ 0.4737 ]

Table 1: Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 6 6 1. 19 0.316







2 A 10 9 1. 19 0.474







3 A 6 6 1. 24 0.25







4 A 10 9 1. 24 0.375







5 A 4 3 1. 30 0.1







6 A 1 1 1. 30 0.033







7 A 6 3 1. 26 0.115







8 A 6 3 1. 31 0.097







9 A 2 2 1. 27 0.074







10 A 1 1 1. 41 0.024







11 A 1 1 1. 41 0.024







12 A 3 3 1. 33 0.091







13 A 6 6 1. 38 0.158







14 A 6 6 1. 37 0.162







15 A 8 7 1. 40 0.175







16 A 8 7 1. 40 0.175







17 A 8 7 1. 40 0.175







18 A 8 7 1. 40 0.175